stubdom: fix make clean and distclean on a freshly cloned tree
authorWei Liu <wei.liu2@citrix.com>
Mon, 2 Mar 2015 15:05:43 +0000 (15:05 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 2 Mar 2015 16:27:38 +0000 (16:27 +0000)
commited6dd1db77960c59780399e0b305c1b50ca6f02c
treeb75723797b37e6b0be18e0fdf1fe23f2c34209d0
parent588df84c0d702e835e526ecef3af6c5444857558
stubdom: fix make clean and distclean on a freshly cloned tree

Clean and distclean targets need not depend on existence of the mini-os
tree. Don't check for mini-os and don't try to blindly include
mini-os's Config.mk when doing clean and distclean.

Note that one subtle issue is that $(XEN_ROOT)/Config.mk tries to
include $(XEN_ROOT)/config/$(XEN_OS).mk. In stubdom's case XEN_OS is
"MiniOS". Then $(XEN_ROOT)/config/MiniOS.mk tries to include mini-os's
Config.mk.

Since clean and distclean don't enforce existence of mini-os tree, don't
include $(XEN_ROOT)/Config.mk to avoid getting error due to the
aforementioned issue.

Reported-by: Sander Eikelenboom <linux@eikelenboom.it>
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Cc: Samuel Thibault <samuel.thibault@ens-lyon.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
stubdom/Makefile
stubdom/c/Makefile
stubdom/caml/Makefile